Model of computation - PDFSEARCH.IO - Document Search Engine

Model of computation
Results: 512

#	Item
471	A Bridging Model for Multi-Core Computing Leslie G. Valianta,∗,1 a School of Engineering and Applied Sciences Harvard University Add to Reading List Source URL: people.seas.harvard.edu Language: English - Date: 2010-04-27 14:13:54 Digital signal processing Models of computation Computer architecture Computer memory Parallel Random Access Machine Multi-core processor CPU cache Actor model Parallel algorithm Computing Parallel computing Computer programming
472	Time and Synchronization in Executable UML Leon Starr Add to Reading List Source URL: modelint.com Language: English - Date: 2008-12-28 11:46:41 Data modeling Design Diagrams Executable UML UML diagrams Automata theory State diagram Model-driven architecture Finite-state machine Unified Modeling Language Models of computation Software engineering
473	Cryptography and Mechanism Design M o n i Naor* Dept. of Computer Science and Applied Math Add to Reading List Source URL: www.tark.org Language: English - Date: 2011-10-23 10:31:50 Silvio Micali Verifiable secret sharing Secure multi-party computation Zero-knowledge proof Index of cryptography articles Noisy-storage model Cryptography Cryptographic protocols Oblivious transfer
474	Goal setting mechanism in Petri net models of human decision making M. Rauterberg, M. Fjeld, and S. Schluep Add to Reading List Source URL: www.fjeld.ch Language: English - Date: 2006-03-23 12:55:34 Diagrams Petri net Behavior Mind Finite-state machine Actor model Motivation Computer science Goal setting Models of computation Cognition Concurrency
475	A Sequential Model of Computation for First-Order Logic Steven Lindell Haverford College[removed]SUMMARY: Problems computable in constant time on a uniform parallel model of computation (a type of PRAM) have been elegantly Add to Reading List Source URL: www.haverford.edu Language: English - Date: 2012-03-28 11:42:30 Computability theory Formal methods Models of computation Theory of computation Algorithm FO Turing machine Lookup table Computability Theoretical computer science Applied mathematics Mathematics
476	Adv. Studies Theor. Phys., Vol. 5, 2011, no. 4, [removed]A Numerical Computation of Non-Dimensional Form of a Mathematical Model of Soil Salinity Profile in a Rice Field near Marine Shrimp Aquaculture Farm Add to Reading List Source URL: www.m-hikari.com Language: English - Date: 2011-01-21 14:56:31 Logic Abstraction Model theory Metalogic Structure
477	Journal of Machine Learning Research[removed] Submitted 10/01; Published 02/02 Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2004-04-06 06:03:38 Computational learning theory Machine learning Models of computation Probably approximately correct learning Decision tree model Normal distribution Function Supervised learning Evolvability Mathematics Applied mathematics Theoretical computer science
478	Typestate-Oriented Design A Coloured Petri Net Approach Jorge Luis Guevara D´ıaz Add to Reading List Source URL: vision.ime.usp.br Language: English - Date: 2013-02-27 11:42:30 Diagrams Software engineering Computing Petri nets Iterator Finite-state machine Petriscript TAPAAL Model Checker Models of computation Formal methods Concurrency
479	Predictive Publish/Subscribe Matching Vinod Muthusamy, Haifeng Liu, Hans-Arno Jacobsen University of Toronto Add to Reading List Source URL: www.eecg.toronto.edu Language: English - Date: 2010-03-10 13:50:19 Automata theory Digital electronics Models of computation Markov chain Finite-state machine Subscription business model SIMPLE Algorithm PP Theoretical computer science Applied mathematics Markov models
480	Defining the Turing Jump Richard A. Shore∗ Theodore A. Slaman† Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 1999-11-30 17:17:44 Logic Metalogic Model theory Constructible universe Theory of computation Forcing Μ operator Primitive recursive function Mathematical logic Mathematics Computability theory